Purely functional

Results: 42



#Item
31Semantics of Mergeable Data-structures Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed “MirageOS” [4] which compiles complex

Semantics of Mergeable Data-structures Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed “MirageOS” [4] which compiles complex

Add to Reading List

Source URL: thomas.gazagnaire.org

Language: English - Date: 2015-01-26 09:56:44
32Semantics of Mergeable Data-structures Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed “MirageOS” [4] which compiles complex

Semantics of Mergeable Data-structures Subject We are trying to make the Cloud a safer and saner place to live. To do so, we have writing a full operating system in OCaml, dubbed “MirageOS” [4] which compiles complex

Add to Reading List

Source URL: gazagnaire.org

Language: English - Date: 2015-01-26 09:56:44
33Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS[removed]School of Computer Science

Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS[removed]School of Computer Science

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2001-06-25 19:44:13
34Notes about Purely Functional Data Structures Gene Michael Stover created Sunday, 2005 November 27 updated Sunday, 2006 March 12  2

Notes about Purely Functional Data Structures Gene Michael Stover created Sunday, 2005 November 27 updated Sunday, 2006 March 12 2

Add to Reading List

Source URL: cybertiggyr.com

Language: English - Date: 2014-06-08 02:31:46
35Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS[removed]School of Computer Science

Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS[removed]School of Computer Science

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2001-06-25 19:44:13
36Planar graphs / Data structures / Association for Computing Machinery / Robert Tarjan / Summer Science Program / Purely functional / Planarity testing / Lowest common ancestor / Disjoint-set data structure / Graph theory / Mathematics / Graph connectivity

Curriculum Vitae Robert Endre Tarjan December 17, 2012 Home: 4 Constitution Hill East Princeton, New Jersey 08540

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2012-12-20 11:17:44
37Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt  MPRI 2-4-2, 2007

Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2007-12-12 03:05:56
38Planar graphs / Association for Computing Machinery / Data structures / Robert Tarjan / Summer Science Program / Purely functional / Planarity testing / Paris Kanellakis Award / Dominator / Graph theory / Mathematics / Graph connectivity

R. E. Tarjan 4 Curriculum Vitae Robert Endre Tarjan January 5, 2010

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2010-03-30 15:10:23
39Curriculum Vitae Robert Endre Tarjan December 17, 2012

Curriculum Vitae Robert Endre Tarjan December 17, 2012

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2012-12-20 11:22:21
40Elm: Concurrent FRP for Functional GUIs Evan Czaplicki 30 March 2012

Elm: Concurrent FRP for Functional GUIs Evan Czaplicki 30 March 2012

Add to Reading List

Source URL: www.testblogpleaseignore.com

Language: English - Date: 2012-04-10 02:57:06